Jean Goubault-Larrecq: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (8)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology

Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology

Cambridge University Press

Jean Goubault-Larrecq

Рік:

2013

Мова:

english

Файл:

PDF, 3.14 MB

0 / 5.0

english, 2013

2

Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology

Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology

Cambridge University Press

Jean Goubault-Larrecq

Рік:

2013

Мова:

english

Файл:

PDF, 2.89 MB

0 / 0

english, 2013

3

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint ... Ireland, April 25–30, 2020, Proceedings

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint ... Ireland, April 25–30, 2020, Proceedings

Jean Goubault-Larrecq (editor), Barbara König (editor)

Рік:

2020

Мова:

english

Файл:

PDF, 26.83 MB

0 / 0

english, 2020

4

Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jean Goubault-Larrecq (auth.), Anupam Datta (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 2.08 MB

0 / 0

english, 2009

5

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

Springer-Verlag Berlin Heidelberg

Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 4.36 MB

0 / 0

english, 2008

6

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

Springer-Verlag Berlin Heidelberg

Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 2.86 MB

0 / 0

english, 2008

7

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Springer Nature

Jean Goubault-Larrecq, Barbara König

Рік:

2020

Мова:

english

Файл:

PDF, 26.96 MB

0 / 5.0

english, 2020

8

Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jean Goubault-Larrecq (auth.), Anupam Datta (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 2.02 MB

0 / 0

english, 2009